Proof net - PDFSEARCH.IO - Document Search Engine

Proof net
Results: 331

#	Item
301	An elementary proof of some functional inequalities on paths space for L´evy processes by a cylindrical method D. Chafa¨ı mailto:[removed] http://www.lsp.ups-tlse.fr/Chafai/ Add to Reading List Source URL: djalil.chafai.net Language: English - Date: 2014-03-22 11:47:16 Spectral theory Spectral theory of ordinary differential equations Symbol Mathematical analysis Operator theory Fourier analysis
302	Concurrently Secure Identification Schemes Based on the Worst-Case Hardness of Lattice Problems Akinori Kawachi∗ Keisuke Tanaka∗ Add to Reading List Source URL: xagawa.net Language: English - Date: 2010-01-23 11:51:04 Lattice problem Commitment scheme Universal hashing Lattice-based cryptography Zero-knowledge proof NP Cryptographic hash function IP Hash function Cryptography Theoretical computer science Applied mathematics
303	Lattice-Based Cryptosystems, Proof of Knowledge on Its Secret Key, and Signature Schemes 草川恵太/河内亮周/田中圭介/東京工業大学格子暗号 Add to Reading List Source URL: xagawa.net Language: English - Date: 2010-01-23 11:50:58 Hideo Azuma Yamato Transport Anime Shōnen manga Anime series
304	ISSN[removed]Research Reports on Mathematical and Computing Sciences Add to Reading List Source URL: xagawa.net Language: English - Date: 2010-01-23 11:51:07 Lattice problem Lattice-based cryptography Commitment scheme Zero-knowledge proof IP Universal hashing NP Cryptographic hash function Lattice Cryptography Theoretical computer science Applied mathematics
305	290_Jacobs Realty_new_16x48_r7_proof.pdf[removed] Add to Reading List Source URL: www.jacobsrealtygroup.net - Date: 2013-11-27 02:44:43
306	A Structural Soundness Proof for Shivers’s Escape Technique A Case for Galois Connections Jan Midtgaard1 , Michael D. Adams2 , and Matthew Might3 1 2 Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-01-06 09:40:05 Abstract interpretation Valuation Galois connection Lambda calculus Entailment Logic Abstract algebra Mathematics
307	file:///T:/v343736/proof.htm Add to Reading List Source URL: www.footstar.com Language: English - Date: 2013-05-15 16:56:09 Financial statements Generally Accepted Accounting Principles Financial accounting Balance sheet Equity Comprehensive income Net asset value Retained earnings Income Finance Accountancy Business
308	SONJA SOHN FILM/TELEVISION BURN NOTICE Olivia Riley BODY OF PROOF Det. Samantha Baker Add to Reading List Source URL: www.sonjasohn.net Language: English - Date: 2012-12-07 13:25:38
309	Cryptographic techniques for privacy-preserving data mining Benny Pinkas HP Labs [removed] Add to Reading List Source URL: www.pinkas.net Language: English - Date: 2004-01-09 00:12:19 Information Secure multi-party computation Oblivious transfer Secure two-party computation Communications protocol Lookup table Transmission Control Protocol Zero-knowledge proof One-way function Cryptographic protocols Data Computing
310	The Robustness of Exclusion in Multi-dimensional Screening Paulo Barelli Suren Basov Add to Reading List Source URL: rcer.econ.rochester.edu Language: English - Date: 2012-02-21 19:19:50 Net Proof theory Ordinal numbers Logic Ordinal arithmetic Mathematical logic Mathematics Constructible universe

UPDATE